#include <stdio.h>
#include <sys/cdefs.h>

_Bool var_1 = (_Bool)1;
unsigned char var_2 = (unsigned char)204;
unsigned short var_3 = (unsigned short)61440;
unsigned char var_5 = (unsigned char)160;
unsigned short var_6 = (unsigned short)49804;
unsigned int var_7 = 2998064367U;
unsigned short var_10 = (unsigned short)19212;
unsigned char var_12 = (unsigned char)233;
_Bool arr_520 [22] [24] [14] [18] ;
_Bool arr_522 [22] [24] [14] [18] ;
unsigned short arr_627 [22] [24] [11] [15] ;
int arr_633 [22] [24] [11] [15] [21] ;
void init() {
    for (size_t i_0 = 0; i_0 < 22; ++i_0) 
        for (size_t i_1 = 0; i_1 < 24; ++i_1) 
            for (size_t i_2 = 0; i_2 < 14; ++i_2) 
                for (size_t i_3 = 0; i_3 < 18; ++i_3) 
                    arr_520 [i_0] [i_1] [i_2] [i_3] = (_Bool)1;
    for (size_t i_0 = 0; i_0 < 22; ++i_0) 
        for (size_t i_1 = 0; i_1 < 24; ++i_1) 
            for (size_t i_2 = 0; i_2 < 14; ++i_2) 
                for (size_t i_3 = 0; i_3 < 18; ++i_3) 
                    arr_522 [i_0] [i_1] [i_2] [i_3] = (_Bool)1;
    for (size_t i_0 = 0; i_0 < 22; ++i_0) 
        for (size_t i_1 = 0; i_1 < 24; ++i_1) 
            for (size_t i_2 = 0; i_2 < 11; ++i_2) 
                for (size_t i_3 = 0; i_3 < 15; ++i_3) 
                    arr_627 [i_0] [i_1] [i_2] [i_3] = (unsigned short)36269;
    for (size_t i_0 = 0; i_0 < 22; ++i_0) 
        for (size_t i_1 = 0; i_1 < 24; ++i_1) 
            for (size_t i_2 = 0; i_2 < 11; ++i_2) 
                for (size_t i_3 = 0; i_3 < 15; ++i_3) 
                    for (size_t i_4 = 0; i_4 < 21; ++i_4) 
                        arr_633 [i_0] [i_1] [i_2] [i_3] [i_4] = 1443422107;
}


void test(_Bool var_1, unsigned char var_2, unsigned short var_3, unsigned char var_5, unsigned short var_6, unsigned int var_7, unsigned short var_10, unsigned char var_12, _Bool arr_520 [22] [24] [14] [18], _Bool arr_522 [22] [24] [14] [18], unsigned short arr_627 [22] [24] [11] [15], int arr_633 [22] [24] [11] [15] [21]);
int main() {
    init();
    test(var_1, var_2, var_3, var_5, var_6, var_7, var_10, var_12, arr_520, arr_522, arr_627, arr_633);
}

